Contract agreements via logic

نویسندگان

  • Massimo Bartoletti
  • Tiziana Cimoli
  • Paolo Di Giamberardino
  • Roberto Zunino
چکیده

We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability in the logical model.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Contracts in distributed systems

We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happen...

متن کامل

Contract-Oriented Computing in CO2

We present CO2 , a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among participant...

متن کامل

Modelling Contracts Using RuleML

This paper presents an approach for the specification and implementation of e-contracts for Web monitoring. This is done in the setting of RuleML. We argue that monitoring contract execution requires also a logical account of deontic concepts and of violations. Accordingly, RuleML is extended to cover these aspects. 1 Background and Motivation Business contracts are mutual agreements between tw...

متن کامل

Applying Non-Contractual Methods and Quantitative Terms to Increase the Durability of Long-Term Natural Gas Sale Agreements

The success of long-term gas sales contracts is largely related to the ability of the seller and the buyer to adapt the terms of the contract to their conditions, infrastructure, facilities and market. If the buyer's demand changes from season to season and seasonally fluctuates, problems and complexities arise for the seller and he may need to provide the excess capacity to produce, refine and...

متن کامل

Developing a Framework for Accounting and Financial Management Procedures of Joint Operating Agreements (JOAs) in Iran's oil and gas industry

Regarding the contingency theory, the purpose of this research is to identify factors affecting the development of accounting and financial management procedures for joint operating agreements in Iran's oil and gas industry. To this end, at first, some partial factors were identified through deep study of theoretical foundations. Subsequently, in order to identify environmental factors, a semi-...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013